<?php

class EndOfFileException extends Exception {
	
	public function __construct() {
		parent::__construct ("End of file.", 0x2003 );
	
	}
}

?>